Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias Puech Department of Computer Science, Aarhus University, Denmark?

Source URL: www.pps.univ-paris-diderot.fr

A CPS-like Transformation of Continuation Marks Kimball R. Germane A thesis submitted to the faculty of Brigham Young University

Source URL: jeapostrophe.github.io

• Control flow
• Subroutines
• Computability theory
• Theoretical computer science
• Functional programming
• Continuation-passing style
• Lambda calculus
• Continuation
• Direct style
• Eval
• Stack
• Static single assignment form

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

PDF Document

Source URL: www.impa.br

• Mathematics
• Academia
• Science and technology
• Applied mathematics
• Graduate Texts in Mathematics
• Discontinuous Galerkin method
• Mathematical optimization
• Mathematical analysis
• Computational mathematics
• Calculus
• Differential equation
• Functional analysis

PDF Document

Source URL: homes.soic.indiana.edu

• Type theory
• Functional languages
• Type systems
• Procedural programming languages
• Lambda calculus
• Type inference
• Monad
• ML
• HindleyMilner type system
• Functional programming
• Parallel computing
• Unification

SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David

Source URL: schemeworkshop.org

• Subroutines
• Lambda calculus
• Control flow
• Functional programming
• Data types
• Closure
• Inline expansion
• Scheme
• Lambda lifting
• Software engineering
• Computing
• Computer programming

On duality relations for session types Giovanni Bernardi1 , Ornela Dardha2 , Simon J. Gay2 , and Dimitrios Kouzapas2,3 1 IMDEA Software Institute, Madrid, Spain

Source URL: www.dcs.gla.ac.uk

• Mathematics
• Logic
• Orbifold
• Holomorphic functional calculus
• Geometry
• Duality
• Projective geometry

BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation

Source URL: www.brics.dk

• Functional languages
• Type theory
• Data types
• Lambda calculus
• Logic in computer science
• Type system
• ML
• OCaml
• Partial evaluation
• Software engineering
• Programming language theory
• Computing

BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information

Source URL: www.brics.dk

• Computational complexity theory
• Continuation-passing style
• Continuations
• Functional programming
• Lambda calculus
• Static single assignment form
• Reduction
• Theoretical computer science
• Applied mathematics
• Software engineering

BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Continuations
• Functional programming
• Continuation-passing style
• Programming language semantics
• Eval
• Evaluation strategy
• Continuation
• Lambda calculus
• Operational semantics
• Software engineering
• Computing
• Control flow